﻿code {
  margin: 0 2px;
  padding: 1px 5px;
  border: 1px solid #E1E1E8;
  background-color: #F7F7F9;
  color: @gray-dark;
  font-size: 85%;
}